مقاله با عنوان II Enumerating p-groups, از گراهام هیگمن که در آن حدس مشهور PORC وی مطرح شده است را مورد بررسی قرار می دهیم. قادر شدیم، نظریه داده شده در این مقاله را ساده کنیم. بویژه، این مقاله هیگمن شامل پنج صفحه جبر همولوژی است که وی در اثباتش بکار می برد تا نشان دهد، تعداد جواب های یک مجموعه متناهی از معادلات تک جمله ای در یک میدان متناهی،PORC است. نتیجه می شود که جبر همولوژی بکار برده شده صرفا ظاهری بوده است و تمام آن می تواند با این نگاه که اگر معادلات را به عنوان سطرهای یک ماتریس بنویسید آنگاه تعداد جواب ها برابر حاصلضرب مقسوم علیه های مقدماتی فرم نرمال اسمیت ماتریس معادلات است، جایگزین شود. فرمول PORC را برای تعداد گروه های -rمولده از -pرده دو برای وقتی که r≤6 را بدست آورده ایم. علاوه بر این، فرمول PORC را برای تعداد گروه های از -pرده دو و مرتبه p8 بدست آورده ایم.